Nested VMX: always mark VVMCS as not-launched on VMCLEAR.
authorTim Deegan <Tim.Deegan@citrix.com>
Tue, 26 Jul 2011 16:00:24 +0000 (17:00 +0100)
committerTim Deegan <Tim.Deegan@citrix.com>
Tue, 26 Jul 2011 16:00:24 +0000 (17:00 +0100)
commit812298d382befd9da83db94b931d30ceb0f39cd3
tree39c498238125fddef8b2239c6e0e24cd29726a22
parent857ee6b19189a926d108b8c3382fcc51e3d8f59e
Nested VMX: always mark VVMCS as not-launched on VMCLEAR.

The SDM says to flush changes and clear the launch state even if this
isn't the "current VMCS".  KVM relies on this behaviour, so take the
warning printk away as well.

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
xen/arch/x86/hvm/vmx/vvmx.c